Introduction to Automated Planning

Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems

A Concise Introduction to Models and Methods for Automated Planning

Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. e main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI...

MIPS: The Model-Checking Integrated Planning System

sion diagrams (BDDs) to compactly represent world states in a planning problem and efficiently explore the underlying state space. It was the first general planning system based on model-checking methods. It can handle the STRIPS subset of the PDDL language and some additional features from ADL, namely, negative preconditions and (universal) conditional effects. At the Fifth International Confe...

Standard Software for Supply Chain Design and Optimization

Immense levels of data and the complexity of current logistics networks have made software support indispensable. Recurring calculations in network design and transportation planning can be automated with the help of planning software. Furthermore sophisticated algorithms are available to improve planning performance and reduce planning efforts. After a brief introduction of requirements in log...

Automating the evaluation of planning systems

Research in automated planning is getting more and more focused on empirical evaluation. Likewise the need for methodologies and benchmarks to build solid evaluations of planners is increasing. In 1998 the planning community made a move to address this need and initiated the International Planning Competition – or IPC for short. This competition has typically been conducted every two years in t...